---
categories: Graph algorithms, Graph theory
---

## See also
- [DFA equivalence]()
- [Bisimilarity]()

## External links
- [DFA minimization](https://en.wikipedia.org/wiki/DFA_minimization)
- [Partition refinement](https://en.wikipedia.org/wiki/Partition_refinement)